Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
191	Aoraï Plugin Tutorial (A.k.a. LTL to ACSL) Nicolas Stouls and Virgile Prevosto , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:02 Automaton Technology Computing Automata theory Software Frama-C Linear temporal logic
192	FREE WILL—EVEN FOR ROBOTS John McCarthy Computer Science Department Stanford University Stanford, CA 94305, USA Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:13:58 Finite-state machine Nondeterministic finite automaton Computer chess Robot Chess Ω-automaton Automata theory Models of computation Games
193	Pushdown Control-Flow Analysis of Higher-Order Programs Christopher Earl David Van Horn ∗ Matthew Might Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:59 Symbol Structure Model theory Mathematics Logic Automata theory Models of computation Pushdown automaton
194	Learning Semantic String Transformations from Examples ∗ Rishabh Singh Microsoft Research, Redmond, WA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-04-08 00:48:53 Automata theory Mathematics String Comparison of programming languages Regular expression Scheme Natural transformation Finite-state machine S-expression Computing Formal languages Software engineering
195	Dynamics of Directed Boolean Networks under Generalized Elementary Cellular Automata Rules, with Power-Law Distributions and Popularity Assignment of Parent Nodes Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:37:04 Networks Scale-free network Normal distribution Complex network Boolean network Small-world network Kurtosis Degree distribution Bayesian network Graph theory Network theory Statistics
196	Boundary Growth in One-Dimensional Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-06-19 13:03:42 Rule 90 Rule 110 Mathematics Automata theory Reversible cellular automaton Cellular automata Cellular automaton Rule 30
197	languages of infinite traces and deterministic asynchronous automata Namit Chaturvedi November 06, 2013 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-11-18 06:29:48 Applied mathematics Büchi automaton Regular language Formal language Regular expression Ω-automaton Automata theory Theoretical computer science Computer science
198	A Research and Development Program in Applications of Intelligent Automata to Reconnaissance -- Phase I (8 January 1965) Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2004-10-06 18:03:26 Automata theory Cellular automata Robot Mobile automaton
199	Secure Multi-Execution: Fine-grained, Declassification-aware, and Transparent Willard Rafnsson Andrei Sabelfeld Chalmers University of Technology, Gothenburg, Sweden Abstract—Recently, much progress has been made on a Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-04-29 05:32:43 Universal algebra Mathematics Models of computation Logic Automata theory Model theory Structure
200	DIPARTIMENTO DI INFORMATICA ICALP/PPDP/LOPSTRJuly, 2006, Venice - S. Servolo, Italy MAIN CONFERENCES Add to Reading List Source URL: icalp06.dsi.unive.it Language: English - Date: 2006-06-27 21:41:11 Computing Cynthia Dwork Massimo Marchiori Automata theory International Colloquium on Automata Languages and Programming Computer science

UPDATE